The purely functional software deployment model
نویسنده
چکیده
ie over hashes Uiteraard dienen gebruikers en ontwikkelaars niet geconfron-teerd te worden met bestandsnamen met eerdergenoemde hashes. Dat is gelukkig ookniet het geval. Ze worden verborgen voor gebruikers door zogeheten user environmentsdie een verzameling “geactiveerde” componenten beschikbaar maken voor de gebruiker.User environments zijn zelf ook (automatisch gegenereerde) componenten. Ze kunnen dusgebroederlijk naast elkaar bestaan. Dit stelt de gebruikers van een systeem in staat om ver-schillende user environments te gebruiken. Ook maakt het een rollback mogelijk waarbijinstallatieof upgradeacties teruggedraaid worden. Dit is een belangrijke eigenschap inbijvoorbeeld serveromgevingen.Evenmin hoeven ontwikkelaars rechtstreeks met hashes te werken. Nix componentenworden namelijk gebouwd uit Nix-expressies (hoofdstukken 2 en 4). Dit is een eenvoudigefunctionele taal die beschrijft hoe componenten gebouwd en samengesteld moeten worden.Uit deze beschrijvingen berekent Nix de paden waar de componenten opgeslagen worden. Transparant source/binary deploymentmodel Het uitrollen van Nix-expressies naardoelmachines levert een source-deploymentmodel op, omdat ze beschrijven hoe compo-
منابع مشابه
A Reference Architecture for Distributed Software Deployment
The goal of this thesis is to design a reference architecture for distributed software deployment, utilising the Nix package manager which implements the purely functional deployment model. Nix offers several unique advantages over conventional deployment approaches. Because this deployment model is relatively unknown, this chapter explains the background concepts. The concepts described in thi...
متن کاملA Push Infrastructure for Mobile Application Deployment in Mobile Environments
Mobile devices tend to be a synonym of variety. Variety both in hardware capabilities and software act as restrictions to software development and deployment. Other restrictions arise from their condition of mobility, environmental conditions such as bandwidth, coverage availability, lighting and availability of services. In that perspective, this work intends to explore the possibility of a mo...
متن کاملMultimodeling: A Preliminary Case Study
We take a pre-existing Statecharts model of a simple traffic light controller and re-implement it in Ptolemy II. This exercise reveals that Statecharts can be usefully conceptualized as a hierarchical combination of two distinct models of computation (MoCs), finite state machines (FSMs) and synchronous/reactive (SR). Once conceptualized this way, we can add additional MoCs to the mix. We illust...
متن کاملProduct Line Feature Typing: Identifying Complexity and Assisting Product Line Development
Product lines encompass baseline and optional feature extensions that distinguish individual products. Managing these products is difficult both from a development and maintenance perspective, because the features' nature frequently differs. Categorizing the types of features can help product designers plan for product line expansion or re-targeting. In this paper we present an evolving model c...
متن کاملA Constraint Model for Automated Deployment of Automotive Control Software
In this paper we address automated software deployment for embedded automotive systems in terms of a constraint satisfaction problem (CSP). Our purely model-based approach allows for fully automatic deployment of software functions in a resource-constrained system (exemplified in terms of memory and bus load). Besides of its applicability in an early stage of development, most notably, our mode...
متن کاملA Contract-Based Approach of Resource-Constrained Software Deployment
Software deployment can turn into a baffling problem when the components being deployed exhibit non-functional requirements. If the platform on which such components are deployed cannot satisfy their non-functional requirements, then they may in turn fail to perform satisfactorily. In this paper we propose a contract-based approach of resource-constrained software deployment. We thus focus on a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006